Decentralized Multi-Subgroup Formation Control With Connectivity Preservation and Collision Avoidance

This paper proposes a formation control algorithm to create separated multiple formations for an undirected networked multi-agent system while preserving the network connectivity and avoiding collision among agents. Through the modified multi-consensus technique, the proposed algorithm can simultaneously divide a group of multiple agents into any arbitrary number of desired formations in a decentralized manner. Furthermore, the agents assigned to each formation group can be easily reallocated to other formation groups without network topological constraints as long as the entire network is initially connected; an operator can freely partition agents even if there is no spanning tree within each subgroup. Besides, the system can avoid collision without loosing the connectivity even during the transient period of formation by applying the existing potential function based on the network connectivity estimation. If the estimation is correct, the potential function not only guarantees the connectivity maintenance but also allows some extra edges to be broken if the network remains connected. Numerical simulations are performed to verify the feasibility and performance of the proposed multi-subgroup formation control

Deterministic bead-in-droplet ejection utilizing an integrated plug-in bead dispenser for single bead-based applications

This paper presents a deterministic bead-in-droplet ejection (BIDE) technique that regulates the precise distribution of microbeads in an ejected droplet. The deterministic BIDE was realized through the effective integration of a microfluidic single-particle handling technique with a liquid dispensing system. The integrated bead dispenser facilitates the transfer of the desired number of beads into a dispensing volume and the on-demand ejection of bead-encapsulated droplets. Single bead-encapsulated droplets were ejected every 3 s without any failure. Multiple-bead dispensing with deterministic control of the number of beads was demonstrated to emphasize the originality and quality of the proposed dispensing technique. The dispenser was mounted using a plug-socket type connection, and the dispensing process was completely automated using a programmed sequence without any microscopic observation. To demonstrate a potential application of the technique, bead-based streptavidin-biotin binding assay in an evaporating droplet was conducted using ultralow numbers of beads. The results evidenced the number of beads in the droplet crucially influences the reliability of the assay. Therefore, the proposed deterministic bead-in-droplet technology can be utilized to deliver desired beads onto a reaction site, particularly to reliably and efficiently enrich and detect target biomolecules.112Ysciescopu

N-doped graphitic self-encapsulation for high performance silicon anodes in lithium-ion batteries

N-doped sites at CNT and graphene trigger spontaneous encapsulation of Si particles by simple pH control at room temperature. Significantly, N-doped CNT encapsulated Si composite electrode materials show remarkable cycle life and rate performance in battery operations. Superior capacity retention of 79.4% is obtained after 200 cycles and excellent rate capability of 914 mA h g -1 is observed at a 10 C rate.close13

25th annual computational neuroscience meeting: CNS-2016

The same neuron may play different functional roles in the neural circuits to which it belongs. For example, neurons in the Tritonia pedal ganglia may participate in variable phases of the swim motor rhythms [1]. While such neuronal functional variability is likely to play a major role the delivery of the functionality of neural systems, it is difficult to study it in most nervous systems. We work on the pyloric rhythm network of the crustacean stomatogastric ganglion (STG) [2]. Typically network models of the STG treat neurons of the same functional type as a single model neuron (e.g. PD neurons), assuming the same conductance parameters for these neurons and implying their synchronous firing [3, 4]. However, simultaneous recording of PD neurons shows differences between the timings of spikes of these neurons. This may indicate functional variability of these neurons. Here we modelled separately the two PD neurons of the STG in a multi-neuron model of the pyloric network. Our neuron models comply with known correlations between conductance parameters of ionic currents. Our results reproduce the experimental finding of increasing spike time distance between spikes originating from the two model PD neurons during their synchronised burst phase. The PD neuron with the larger calcium conductance generates its spikes before the other PD neuron. Larger potassium conductance values in the follower neuron imply longer delays between spikes, see Fig. 17.Neuromodulators change the conductance parameters of neurons and maintain the ratios of these parameters [5]. Our results show that such changes may shift the individual contribution of two PD neurons to the PD-phase of the pyloric rhythm altering their functionality within this rhythm. Our work paves the way towards an accessible experimental and computational framework for the analysis of the mechanisms and impact of functional variability of neurons within the neural circuits to which they belong

Adversarial Swarm Defence Using Multiple Fixed-Wing Unmanned Aerial Vehicles

Department of Mechanical Engineeringope

An inlining approach to formal hardware semantics

Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Cataloged from student-submitted PDF version of thesis.Includes bibliographical references (page 61).Hardware components are extremely complex due to concurrency. Modularity has been considered as an effective way to design and understand such complex hardware components. Among various hardware description languages (HDLs), Bluespec allows designers to develop hardware not only based on modularity, but also based on the notion of guarded atomic actions (GAAs). Following the concepts of modularity and GAA, we have been defining a framework called Kami to specify, verify, and synthesize Bluespec-style hardware components. However, modular semantics has an inherent weakness in that it is hard to infer internal changes. In this thesis, I present a new semantic approach based on inlining. Inlining semantics is defined for open hardware systems and resolves the weakness by construction. An implication from modular semantics to inlining semantics is also formally proven; thus the inlining semantics can be used to efficiently prove hardware properties.by Joonwon Choi.S.M

A pneumatically driven inkjet printing system for highly viscous microdroplet formation

This paper introduces a pneumatically driven inkjet printing system that forms highly viscous microdroplets in the nanoliter volume range. The printing system has a unique printing mechanism that uses a flexible membrane and an effective backflow stopper. While typical inkjet systems can handle liquids with a limited range of viscosity due to energy loss by viscous dissipation at the nozzle and ineffective backflow management within their systems, our printing system can print liquids with viscosity as high as 384.5 cP. In the viscosity range 1–384.5 cP, we investigated printing characteristics such as printed droplet volume, standoff distance, and maximum possible frequency. The droplet formation showed outstanding reliability, with the droplet volume exhibiting a coefficient of variation less than 1.07 %. Our printing system can be directly used in inkjet applications with functional liquids over a broad viscosity range.11Nscopu